翻訳と辞書 Words near each other ・ ddo ・ ddp ・ ddr ・ ddr-ram ・ ddr-sdram ・ dds ・ ddt ・ ddw ・ de ・ de bruijn graph ・ de bruijn notation ・ de facto standard ・ de-9 ・ de-militarised zone ・ de-rezz ・ dea ・ deacon ・ dead ・ dead code ・ dead tree Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク de bruijn notation ： FOLDOC De Bruijn notation A variation of {lambda notation} for specifying functions using numbers instead of names to refer to {formal parameters}. A reference to a formal parameter is a number which gives the number of lambdas (written as here) between the reference and the lambda which binds the parameter. E.g. the function f . x . f x would be written . . 1 0. The 0 refers to the innermost lambda, the 1 to the next etc. The chief advantage of this notation is that it avoids the possibility of name capture and removes the need for alpha conversion. [N.G. De Bruijn, "Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem", Indag Math. 34, pp 381-392]. (2003-06-15) alpha conversion. [N.G. De Bruijn, "Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem", Indag Math. 34, pp 381-392]. (2003-06-15) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.